fetch airpo6.ax;
∀e walk home desk car I S0;
∀e drive county home airport I result(I,walk(car),S0);
∀e attrans1 I car airport result(I,drive(airport),result(I,walk(car),S0));
tauteq 1:#2#2 walkable at1 at2 at3 1;
∀e ↑ car home;
tauteq 2:#2#2 walkable drivable at1 at2 at3 at4 at5 notI 1:5;
∀e ↑ I car;
tauteq holds(at(I,airport),result(I,drive(airport),result(I,walk(car),S0)))
1:7 notI walkable drivable at1 at2 at3 at4 at5;
∀e prog walk(car) drive(airport) I S0;
substr 9 in 8;
∀e should I at(I,airport) prog(walk(car),drive(airport)) S0;
taut 11:#2 10 11 want;